MGI:5425011 small mutant 010 http://identifiers.org/mgd/MGI:5425011 SMA010